The Evolutionary Role of Variable Assignment and Its Impact on Program Verification
نویسندگان
چکیده
منابع مشابه
Verification of an Evolutionary-based Wavelet Neural Network Model for Nonlinear Function Approximation
Nonlinear function approximation is one of the most important tasks in system analysis and identification. Several models have been presented to achieve an accurate approximation on nonlinear mathematics functions. However, the majority of the models are specific to certain problems and systems. In this paper, an evolutionary-based wavelet neural network model is proposed for structure definiti...
متن کاملAnalysis of the No Return Point Hypothesis: The Effect of Audio and Visual Stimuli in the Fast Movements Inhibition
Background. The No Return Point hypothesis is one of the research areas that has been done in line with the motor program. In this hypothesis emphasized an inability to inhibition move after its start by the motor program. Several factors are affecting the mechanism of this inhibition. Objectives. In this study, we investigate the effects of audio and visual stimuli on blocking quick moves to ...
متن کاملBenders’ decomposition algorithm to solve bi-level bi-objective scheduling of aircrafts and gate assignment under uncertainty
Management and scheduling of flights and assignment of gates to aircraft play a significant role to improve the performance of the airport, due to the growing number of flights and decreasing the flight times. This research addresses the assignement and scheduling problem of runways and gates simultaneously. Moreover, this research is the first study that considers the constraint of unavailabil...
متن کاملImpact of triplet interference exercises between exercise scheduling methods (random-variable-intensive) in skill development and scoring accuracy for futsal players
Objective: This study aimed to Prepare an educational program based on the overlap and the integration of the random exercise method with the variable exercise method and the intensive exercise method adapted to the capabilities of the research sample and Recognize the effect of the educational program on developing the skill performance and scoring accuracy of the research sample in the futsal...
متن کاملEvaluation of Economic and Social Parameters of Smart City Growth Impact (Case Study: Isfahan City)
Many efforts have been made to address the negative effects of sprawling urban expansion, which can be referred to as "smart growth" as a strategy for urban sustainability. The purpose of this study was to evaluate the impact of smart city growth on economic and social parameters in Isfahan. The present study is descriptive-analytical in terms of the type of research and is applied-developmenta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006